3

Login: a logic programming language with built-in inheritance

Year:
1986
Language:
english
File:
PDF, 1.88 MB
english, 1986
4

Integrating logic and functional programming

Year:
1989
Language:
english
File:
PDF, 2.65 MB
english, 1989
5

Un travail d’élaboration psychique lors de la traversée du cancer: le cas de Francine

Year:
2010
Language:
french
File:
PDF, 87 KB
french, 2010
6

Surexpresssion de HER2 dans le cancer du sein de la femme jeune

Year:
2006
Language:
french
File:
PDF, 146 KB
french, 2006
8

Histone antibodies in systemic lupus erythematosus. A possible diagnostic tool

Year:
1982
Language:
english
File:
PDF, 628 KB
english, 1982
9

Towards a meaning of life

Year:
1993
Language:
english
File:
PDF, 2.97 MB
english, 1993
13

A feature constraint system for logic programming with entailment

Year:
1994
Language:
english
File:
PDF, 1.47 MB
english, 1994
18

An efficient and large-scale reasoning method for the semantic Web

Year:
2017
Language:
english
File:
PDF, 6.34 MB
english, 2017
25

An algebraic semantics approach to the effective resolution of type equations

Year:
1986
Language:
english
File:
PDF, 3.49 MB
english, 1986
26

Label-selective λ-calculus syntax and confluence

Year:
1995
Language:
english
File:
PDF, 1.40 MB
english, 1995
40

DISQUAC and UNIFAC group interaction parameters for chloroalkanes

Year:
1997
Language:
english
File:
PDF, 327 KB
english, 1997
45

Inheritance hierarchies: Semantics and unification

Year:
1989
Language:
english
File:
PDF, 1.68 MB
english, 1989